Turing machine - PDFSEARCH.IO - Document Search Engine

Turing machine
Results: 564

#	Item
241	Cost Models based on the λ-‐Calculus or The Church Calculus the Other Turing Machine Guy Blelloch Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2015-02-06 16:30:16 Mathematics Algorithm Mathematical logic Models of computation Simula L SC Turing machine Theoretical computer science Applied mathematics Complexity classes
242	arXiv:1311.1029v1 [math.LO] 5 Nov[removed]Problems in number theory from busy beaver competition Pascal MICHEL∗ ´ Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-05 20:25:49 Mathematics Models of computation Turing machine Alan Turing Busy beaver Collatz conjecture Computability Computable function Halting problem Computability theory Theoretical computer science Theory of computation
243	PDF Document Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2013-10-22 13:32:31 Computer science Philosophy of artificial intelligence Turing machine Computability theory Models of computation Turing test Universal Turing machine Computability Mind Alan Turing Science Artificial intelligence
244	CRIME AND JUSTICE Bulletin NSW Bureau of Crime Statistics and Research Add to Reading List Source URL: www.bocsar.nsw.gov.au Language: English - Date: 2014-12-07 17:26:34 Question Human communication Linguistics Data collection Turing machine Grammar Punctuation Question mark
245	Sixth Program Visualization Workshop 1 Increasing the use of JFLAP in Courses S. H. Rodger, H. Qin, J. Su Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-06-05 06:58:52 Automata theory Computer science Turing machine Formal languages LR parser Pushdown automaton LL parser Nondeterministic finite automaton Parsing Theory of computation Models of computation Theoretical computer science
246	Computability Classes for Enforcement Mechanisms* KEVIN W. HAMLEN Cornell University GREG MORRISETT Harvard University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-04-26 16:43:56 Applied mathematics Computer science Computability theory Formal methods Computability Finite-state machine Kernel Algorithm Turing machine Models of computation Theory of computation Theoretical computer science
247	Erkenn[removed]:979–990 DOI[removed]s10670[removed]x ORIGINAL PAPER Ideal Negative Conceivability and the Halting Problem Manolo Martı´nez Add to Reading List Source URL: www.manolomartinez.net Language: English - Date: 2013-09-12 11:31:28 Computer science Turing machine Models of computation Alan Turing Halting problem Computability Oracle machine Hypercomputation Description number Theoretical computer science Computability theory Theory of computation
248	What does the Turing test really mean? And how many human beings (including Turing) could pass? By Tyler Cowen and Michelle Dawson1 June 3, 2009 Alan Turing’s short 1950 paper in Mind, “Computing Machinery and Intell Add to Reading List Source URL: www.gmu.edu Language: English - Date: 2009-06-24 17:31:06 Science Philosophy of artificial intelligence Computability theory Turing machine Theory of computation Turing test Computing Machinery and Intelligence Universal Turing machine Reverse Turing test Alan Turing Artificial intelligence Computer science
249	The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastian Maneth2,[removed]The University of Tokyo, [removed] Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:02:22 Computer science Turing machine Binary tree Non-deterministic Turing machine Symbol Computation tree Finite-state machine Theoretical computer science Automata theory Models of computation
250	Implementation and Indeterminacy Curtis Brown Department of Philosophy Trinity University One Trinity Place, San Antonio, TX 78212, USA [removed] Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:27:36 Computer science Computability theory Turing machine Computability Computable function Algorithm Register machine Abstract machine Finite-state machine Theoretical computer science Theory of computation Models of computation

UPDATE